Aristotelian logic